$\vdash$  $\uparrow$tt